Search results for "model [neutrino]"
showing 10 items of 1203 documents
On Branciari’s theorem for weakly compatible mappings
2010
AbstractIn a recent paper B. Samet and H. Yazidi [B. Samet, H. Yazidi, An extension of Banach fixed point theorem for mappings satisfying a contractive condition of integral type, Ital. J. Pure Appl. Math. (in press)] have obtained an interesting theorem for mappings satisfying a contractive condition of integral type. The aim of this note is to present a generalization of their main result.
Fixed points of weakly compatible mappings satisfying generalized $\varphi$-weak contractions
2014
In this paper, utilizing the notion of the common limit range property, we prove some new integral type common fixed point theorems for weakly compatible mappings satisfying a \(\varphi \)-weak contractive condition in metric spaces. Moreover, we extend our results to four finite families of self mappings, and furnish an illustrative example and an application to support our main theorem. Our results improve, extend, and generalize well-known results on the topic in the literature.
A new Cartan-type property and strict quasicoverings when p = 1 in metric spaces
2018
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we prove a new Cartan-type property for the fine topology in the case $p=1$. Then we use this property to prove the existence of $1$-finely open \emph{strict subsets} and \emph{strict quasicoverings} of $1$-finely open sets. As an application, we study fine Newton-Sobolev spaces in the case $p=1$, that is, Newton-Sobolev spaces defined on $1$-finely open sets.
On Different Type Solutions of Boundary Value Problems
2016
We consider boundary value problems of the type x'' = f(t, x, x'), (∗) x(a) = A, x(b) = B. A solution ξ(t) of the above BVP is said to be of type i if a solution y(t) of the respective equation of variations y'' = fx(t, ξ(t), ξ' (t))y + fx' (t, ξ(t), ξ' (t))y' , y(a) = 0, y' (a) = 1, has exactly i zeros in the interval (a, b) and y(b) 6= 0. Suppose there exist two solutions x1(t) and x2(t) of the BVP. We study properties of the set S of all solutions x(t) of the equation (∗) such that x(a) = A, x'1(a) ≤ x' (a) ≤ x'2(a) provided that solutions extend to the interval [a, b].
Approximation of Elliptic Hemivariational Inequalities
1999
From the previous chapter we know that there exist many important problems in mechanics in which constitutive laws are expressed by means of nonmonotone, possibly multivalued relations (nonmonotone multivalued stress-strain or reaction-displacement relations,e.g). The resulting mathematical model leads to an inclusion type problem involving multivalued nonmonotone mappings or to a substationary type problem for a nonsmooth, nonconvex superpotential expressed in terms of calculus of variation. It is the aim of this chapter to give a detailed study of a discretization of such a type of problems including the convergence analysis. Here we follow closely Miettinen and Haslinger, 1995, Miettinen…
Images and Preimages of Null Sets
2013
In this chapter we study conditions that guarantee that our mapping maps sets of measure zero to sets of measure zero. We start with the problem in general Sobolev spaces, after which we establish a better result for mappings of finite distortion. Then we introduce a natural class of counterexamples to statements of this type and finally we give a weak condition under which the preimage of a set of measure zero has measure zero for mappings of finite distortion.
Tree Based Domain-Specific Mapping Languages
2012
Model transformation languages have been mainly used by researchers --- the software engineering industry has not yet widely accepted the model driven software development (MDSD). One of the main reasons is the complexity of metamodelling principles the developers are required to know to actually use model transformations in the way the OMG has stated. We offer the basic principles how to create domain-specific model transformation languages which can be used by developers relying only on familiar modelling concepts. We propose to use simple graphical mappings to specify the correspondence between source and target models which are represented using trees based on the concrete syntax of und…
Model Transformation Languages and Their Implementation by Bootstrapping Method
2008
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compiler to C++. The next language L1 is an extension of L0, and it contains powerful pattern definition facilities. The last language L2 is of sufficiently high level and can be used for implementation of traditional pattern-based high level model transformation languages, as well as for the development of model transformations directly. For languages L1 and L2 efficient compilers have been built using the bootstrapping method: L1 to L0 in L0, and L2 to L1 in L1. The results confirm the efficiency of model transformat…
Interpretation of Ocular Melanin Drug Binding Assays. Alternatives to the Model of Multiple Classes of Independent Sites
2016
Melanin has a high binding affinity for a wide range of drugs. The determination of the melanin binding capacity and its binding affinity are important, e.g., in the determination of the ocular drug distribution, the prediction of drug effects in the eye, and the trans-scleral drug delivery. The binding parameters estimated from a given data set vary significantly when using different isotherms or different nonlinear fitting methods. In this work, the commonly used bi-Langmuir isotherm, which assumes two classes of independent sites, is confronted with the Sips isotherm. Direct, log-log, and Scatchard plots are used, and the interpretation of the binding curves in the latter is critically a…
Finite-Timel1-Gain Control for Positive Switched Systems with Time-Varying Delay via Delta Operator Approach
2014
This paper is concerned with the problem of finite-timel1-gain control for positive switched systems with time-varying delay via delta operator approach. Firstly, sufficient conditions which can guarantee thel1-gain finite-time boundedness of the underlying system are given by using the average dwell time approach and constructing an appropriate copositive type Lyapunov-Krasovskii functional in delta domain. Moreover, the obtained conditions can unify some previously suggested relevant results seen in literature of both continuous and discrete systems into the delta operator framework. Then, based on the results obtained, a state feedback controller is designed to ensure that the resulting …